﻿/**
 *	html/interface/pem_interface.js
 *
 *	(C) 2014 Yuanjj
 *
 * 	history:
 * 		2014-07-21		create the file
 */

/**
 *	the window size changed
 *
 *	@width		[in] the new width
 *	@height		[in] hte new height
 */
function if_resize( width, height )
{
    g_panel_main.window_width 	= width;
    g_panel_main.widdow_height	= height;
    g_panel_main.setSize( width, height );
}
